Mathieu Hoyrup And NotProvence-Alpes-Côte d'Azur
List of bibliographic references
Number of relevant bibliographic references: 36.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000007 | Mathieu Hoyrup [France] | The decidable properties of subrecursive functions |
| 000326 | Mathieu Hoyrup [France] | Que calcule cet algorithme ? |
| 000466 | Guillaume Bonfante [France] ; Mohamed El-Aqqad [France] ; Benjamin Greenbaum [États-Unis] ; Mathieu Hoyrup [France] | Immune Systems in Computer Virology |
| 000611 | Mathieu Hoyrup [France] | A Rice-like theorem for primitive recursive functions |
| 000616 | Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] | On the information carried by programs about the objects they compute |
| 000664 | Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France] | Characterizing polynomial time complexity of stream programs using interpretations |
| 000827 | Mathieu Hoyrup [France] | Genericity of weakly computable objects |
| 000914 | Hugo Férée [France] ; Walid Gomaa [Égypte] ; Mathieu Hoyrup [France] | Analytical properties of resource-bounded real functionals |
| 000C52 | Mathieu Hoyrup [France] | Irreversible computable functions |
| 001111 | Hugo Férée [France] ; Mathieu Hoyrup [France] | Higher-order complexity in analysis |
| 001146 | Hugo Férée [France] ; Mathieu Hoyrup [France] ; Walid Gomaa [Égypte] | On the query complexity of real functionals |
| 001234 | Mathieu Hoyrup [France] | Computability of the ergodic decomposition |
| 001932 | Mathieu Hoyrup [France] | On the inversion of computable functions |
| 001C25 | Mathieu Hoyrup [France] | The dimension of ergodic random sequences |
| 001C52 | Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] | Statistical properties of dynamical systems - simulation and abstract computation. |
| 001C53 | Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym derivative. |
| 001D03 | Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France] | A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points |
| 002275 | Mathieu Hoyrup [France] | Randomness and the ergodic decomposition |
| 002276 | Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym derivative |
| 002485 | Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Dynamics and abstract computability: computing invariant measures |
| 002504 | Peter Gacs [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Randomness on Computable Probability Spaces—A Dynamical Point of View |
| 002645 | Mathieu Hoyrup [France] | Randomness and the Ergodic Decomposition |
| 002732 | Mathieu Hoyrup [France] ; Crist Bal Rojas [Canada] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym Derivative |
| 002901 | Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France] | Interpretation of stream programs: characterizing type 2 polynomial time complexity |
| 002C26 | Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems |
| 002E65 | Laurent Bienvenu [France] ; Mathieu Hoyrup [France] | Une brève introduction à la théorie effective de l'aléatoire |
| 002E97 | Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Effective symbolic dynamics, random points, statistical behavior, complexity and entropy |
| 003064 | Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France] | Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity |
| 003474 | Mathieu Hoyrup [France] ; Cristobal Rojas [France] | An Application of Martin-Löf Randomness to Effective Probability Theory |
| 003496 | Mathieu Hoyrup [France] ; Cristobal Rojas [France] | Applications of Effective Probability Theory to Martin-Löf Randomness |
| 003685 | Peter Gacs [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [France] | Randomness on Computable Probability Spaces - A Dynamical Point of View |
| 007246 | Olivier Bournez [France] ; Mathieu Hoyrup | Rewriting Logic and Probabilities |
| 007719 | Olivier Bournez ; Mathieu Hoyrup | Rewriting Logic and Probabilities |
| 007999 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and Probabilities |
| 008174 | Mathieu Hoyrup | Réécriture en présence de choix probabilistes |
| 008963 | Mathieu Hoyrup [France] | Réécriture en présence de choix probabilistes |
| This area was generated with Dilib version V0.6.33. |  |